<html>
    <title>Extract user information from the database</title>
    <body>
        <!--Asks for the username for the mysql query-->
        <form method="post" action="<?php echo $PHP_SELF; ?>">
            Username: <input type="text" size="12" maxlength="30" name="username"><br />
            <input type="submit" value="Submit" name="submit"><br />
        </form><br />
        <?php
        //Grab the username from the HTML form
        $username = $_POST["username"];
        //include the mysql query file
        include("mysql.php");
        if($username == null) {
            echo "No user given";
        }
        else{
        //sends the mysql query with the user-given username
        dbquery($username);
        }
        ?>
    </body>
</html>